COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	japan[f83,jmc]		U.S. Japan collaboration
C00004 ENDMK
C⊗;
japan[f83,jmc]		U.S. Japan collaboration

	McCarthy will pursue his study of the relation between
functional programming and logic programming including the problem
of giving logic programming more sophisticated forms of control.
This work meshes well with Sato's Qute system that combines
logic programming with LISP style programming.
It has already resulted in the postponement heuristic developed
originally in connection with a Prolog program for coloring maps
but which is more generally applicable to problems where the
deciding how to achieve some goals should be postponed, because
they can be solved no matter how the other goals are solved.
Other work by McCarthy on map coloring in Prolog led to the
idea of introspective Prolog programs and led Peter Szeredi
to write an introspective Prolog interpreter.